A Constructive Program in Silent Reading
نویسندگان
چکیده
منابع مشابه
Re-reading Silent Spring.
'Department of Surger!., UniversitY Hospital, S-751 85 Lppsala, Sweden: -Department of Cancer Epidemiology, Universitv Hospital, S-751 85 Lppsala, Swteden: 3Department of Pathology, U'niversitv Hospital, S-751 85 Uppsala, Sw eden: 'Department of Statistics, Lppsala L'niversitY, Box 513, S-751 20 Uppsala, Sw eden: 5Department of Epidemiology, Harvard School of Public Health, Boston, Massachusett...
متن کاملProgram Development in Constructive
We present the program development concept in a logical framework including constructive type theory and then show how to use such theories to derive programs from proofs of formal speciications. We are interested in two important facts that are the mechanization of the proof construction and the possibility to express in the theory signiiciant concepts for programming (like inductively deened ...
متن کاملa swot analysis of the english program of a bilingual school in iran
با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...
15 صفحه اولpassivity in waiting for godot and endgame: a psychoanalytic reading
this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...
Program extraction in constructive analysis
We sketch a development of constructive analysis in Bishop’s style, with special emphasis on low type-level witnesses (using separability of the reals). The goal is to set up things in such a way that realistically executable programs can be extracted from proofs. This is carried out for (1) the Intermediate Value Theorem and (2) the existence of a continuous inverse to a monotonically increasi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Educational Research
سال: 1921
ISSN: 0022-0671,1940-0675
DOI: 10.1080/00220671.1921.10879166